The Pep Tool Pep Has Been Implemented on Solaris 2.x, Sun Os 4.1.x and Linux. Ftp-able Ver
نویسنده
چکیده
Bernd Grahlmann Institut f ur Informatik, Universitat Hildesheim, [email protected] Abstract The PEP tool is a Programming Environment based on Petri Nets. Comprehensive modelling, compilation, simulation and veri cation components are embedded in a user-friendly graphical interface. The basic idea is that the modelling component allows the user to design parallel systems by parallel nite automata, parallel programs, process algebra terms, high-level or low-level Petri nets, and that the PEP system then automatically generates Petri nets from such models in order to use Petri net theory for simulation and veri cation purposes. This paper describes the typical usage of the PEP tool by considering the design of the well-known `alternating-bit' protocol. Among others, the usefulness of new concepts for the handling of hierarchies and synchronous communication is explained. PEP has been implemented on Solaris 2.x, SunOS 4.1.x and Linux. Ftp-able versions are available via http://www.informatik.uni-hildesheim.de/ pep.
منابع مشابه
The Pep Tool Pep Has Been Implemented on Solaris 2.x, Sun Os 4.1.x and Linux. Ftp-able Ver- 2 Editing and Simulation Component
The PEP tool embeds sophisticated programming and veriication components in a user-friendly graphical interface. The basic idea is that the programming component allows the user to design concurrent algorithms in an imperative language, and that the PEP system then generates Petri nets from such programs in order to use Petri net theory for simulation and veriication purposes. A key feature is ...
متن کاملThe Reference Component of PEP
Bernd Grahlmann ABSTRACT The PEP tool is a Programming Environment based on Petri Nets. Sophisticated programming and veri cation components are embedded in a user-friendly graphical interface. The basic idea is that the programming component allows the user to design concurrent algorithms in an easy-to-use imperative language, and that the PEP system then generates Petri nets from such program...
متن کامل{ PEP { More than a Petri Net
More than a Petri Net Tool Bernd Grahlmann and Eike Best ABSTRACT The PEP system (Programming Environment based on Petri Nets) supports the most important tasks of a good net tool, including HL and LL net editing and comfortable simulation facilities. In addition, these features are embedded in sophisticated programming and veri cation components. The programming component allows the user to de...
متن کاملThe State of PEP ? Bernd
The PEP tool can be considered to be one of the most widely distributed Petri net based tools. A continuously increasing functionality and an adequate graphical user interface may have been good reasons for its acceptance. Currently the tool contains approximately 500,000 lines of source code, and supports (to the best of our knowledge) the widest variety of input formalisms and veriication met...
متن کاملStochastic reaction-diffusion simulation with MesoRD
UNLABELLED MesoRD is a tool for stochastic simulation of chemical reactions and diffusion. In particular, it is an implementation of the next subvolume method, which is an exact method to simulate the Markov process corresponding to the reaction-diffusion master equation. AVAILABILITY MesoRD is free software, written in C++ and licensed under the GNU general public license (GPL). MesoRD runs ...
متن کامل